av
\begin{code}
  module TeXQuotedDelim where

    data Bool : Set where
      true  : Bool
      false : Bool
      dunno : Bool
      aa    : {- \end{code} -} Bool

\end{code}
bleh
